Open Systems Formal Evaluation Process
نویسنده
چکیده
System Administrators and Architects are faced with an abundance of products that can be used to solve a problem or fill a need. Some of these products are not truly compatible with existing or Open Systems hardware and software. They can even be proprietary solutions re-packaged to grab a slice of the "open systems" market. Separating the chaff from the true performers will continue to be an increasingly difficult problem. This difficulty, combined with an increasing trend towards enterprise wide client/server technologies, shows a definite need to qualify procurement techniques and practices. This paper gives administrators the information to successfully organize or re-organize internal policies and procedures to perform appropriate evaluations of Open Systems products.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملExamine the Relationship between the Process-Oriented Organizations by Strategy Formation as a Formal Process
This article examines the role of management in business processes in relation to the process-oriented organization and strategy formation as a formal process (strategic planning). A questionnaire designed to measure these variables after the validity and reliability among a sample of 183 managers, officials and experts in working systems, information technology and strategic planning in major ...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملVocabularies, ontologies, and rules for enterprise and business process modeling and management
Vocabularies, ontologies, and business rules are key components of a model-driven approach to enterprise computing in a networked economy. Enterprise vocabularies, ontologies, and business rules do not exist in isolation but serve to support business processes. While many have recognized the importance of vocabularies, ontologies, and business rules in business process modeling and management, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993